/********************************************************************************
** Form generated from reading UI file 'mainwindow.ui'
**
** Created: Fri Aug 24 12:23:00 2012
**      by: Qt User Interface Compiler version 4.7.4
**
** WARNING! All changes made in this file will be lost when recompiling UI file!
********************************************************************************/

#ifndef UI_MAINWINDOW_H
#define UI_MAINWINDOW_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QCommandLinkButton>
#include <QtGui/QGridLayout>
#include <QtGui/QHBoxLayout>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QLineEdit>
#include <QtGui/QListWidget>
#include <QtGui/QMainWindow>
#include <QtGui/QMenu>
#include <QtGui/QMenuBar>
#include <QtGui/QPlainTextEdit>
#include <QtGui/QPushButton>
#include <QtGui/QSpinBox>
#include <QtGui/QStackedWidget>
#include <QtGui/QStatusBar>
#include <QtGui/QTabWidget>
#include <QtGui/QTableWidget>
#include <QtGui/QWidget>

QT_BEGIN_NAMESPACE

class Ui_MainWindow
{
public:
    QAction *actionOxford_Map;
    QAction *actionMatrix;
    QAction *actionMannual;
    QAction *actionCoin_Toss;
    QAction *actionMuddyChildren;
    QAction *actionClassic_Map_2;
    QAction *actionBK_s_Map_2;
    QAction *actionStaircase;
    QWidget *centralWidget;
    QGridLayout *gridLayout_5;
    QWidget *widgetTop;
    QGridLayout *gridLayout;
    QLineEdit *mInputSequentEdit;
    QLabel *label;
    QCommandLinkButton *mProveSequentButton;
    QWidget *widget;
    QGridLayout *gridLayout_3;
    QPlainTextEdit *mOutputTextEdit;
    QCommandLinkButton *mClearOutputButton;
    QCommandLinkButton *mShowPDFButton;
    QStackedWidget *mStackedLeftWidget;
    QWidget *mLeftPage1;
    QGridLayout *gridLayout_2;
    QLabel *label_3;
    QTabWidget *tabWidget;
    QWidget *tab;
    QHBoxLayout *horizontalLayout;
    QTableWidget *mVariableTableWidget;
    QWidget *tab_2;
    QGridLayout *gridLayout_4;
    QTableWidget *mPathTableWidget;
    QSpinBox *mNumVariableSpin;
    QWidget *mLeftPage2;
    QGridLayout *gridLayout_6;
    QWidget *widget_2;
    QHBoxLayout *horizontalLayout_2;
    QPushButton *mAddRuleButton;
    QPushButton *mEditRuleButton;
    QPushButton *mDeleteRuleButton;
    QLabel *label_2;
    QListWidget *mRuleListWidget;
    QStatusBar *statusBar;
    QMenuBar *menuBar;
    QMenu *menuPreload_Map;
    QMenu *menuRule_Input_Mode;

    void setupUi(QMainWindow *MainWindow)
    {
        if (MainWindow->objectName().isEmpty())
            MainWindow->setObjectName(QString::fromUtf8("MainWindow"));
        MainWindow->resize(697, 419);
        QSizePolicy sizePolicy(QSizePolicy::Preferred, QSizePolicy::Preferred);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(MainWindow->sizePolicy().hasHeightForWidth());
        MainWindow->setSizePolicy(sizePolicy);
        actionOxford_Map = new QAction(MainWindow);
        actionOxford_Map->setObjectName(QString::fromUtf8("actionOxford_Map"));
        actionMatrix = new QAction(MainWindow);
        actionMatrix->setObjectName(QString::fromUtf8("actionMatrix"));
        actionMannual = new QAction(MainWindow);
        actionMannual->setObjectName(QString::fromUtf8("actionMannual"));
        actionCoin_Toss = new QAction(MainWindow);
        actionCoin_Toss->setObjectName(QString::fromUtf8("actionCoin_Toss"));
        actionMuddyChildren = new QAction(MainWindow);
        actionMuddyChildren->setObjectName(QString::fromUtf8("actionMuddyChildren"));
        actionClassic_Map_2 = new QAction(MainWindow);
        actionClassic_Map_2->setObjectName(QString::fromUtf8("actionClassic_Map_2"));
        actionBK_s_Map_2 = new QAction(MainWindow);
        actionBK_s_Map_2->setObjectName(QString::fromUtf8("actionBK_s_Map_2"));
        actionStaircase = new QAction(MainWindow);
        actionStaircase->setObjectName(QString::fromUtf8("actionStaircase"));
        centralWidget = new QWidget(MainWindow);
        centralWidget->setObjectName(QString::fromUtf8("centralWidget"));
        gridLayout_5 = new QGridLayout(centralWidget);
        gridLayout_5->setSpacing(6);
        gridLayout_5->setContentsMargins(11, 11, 11, 11);
        gridLayout_5->setObjectName(QString::fromUtf8("gridLayout_5"));
        widgetTop = new QWidget(centralWidget);
        widgetTop->setObjectName(QString::fromUtf8("widgetTop"));
        gridLayout = new QGridLayout(widgetTop);
        gridLayout->setSpacing(6);
        gridLayout->setContentsMargins(11, 11, 11, 11);
        gridLayout->setObjectName(QString::fromUtf8("gridLayout"));
        mInputSequentEdit = new QLineEdit(widgetTop);
        mInputSequentEdit->setObjectName(QString::fromUtf8("mInputSequentEdit"));
        QSizePolicy sizePolicy1(QSizePolicy::Expanding, QSizePolicy::Fixed);
        sizePolicy1.setHorizontalStretch(6);
        sizePolicy1.setVerticalStretch(0);
        sizePolicy1.setHeightForWidth(mInputSequentEdit->sizePolicy().hasHeightForWidth());
        mInputSequentEdit->setSizePolicy(sizePolicy1);

        gridLayout->addWidget(mInputSequentEdit, 0, 1, 1, 1);

        label = new QLabel(widgetTop);
        label->setObjectName(QString::fromUtf8("label"));

        gridLayout->addWidget(label, 0, 0, 1, 1);

        mProveSequentButton = new QCommandLinkButton(widgetTop);
        mProveSequentButton->setObjectName(QString::fromUtf8("mProveSequentButton"));
        QSizePolicy sizePolicy2(QSizePolicy::Fixed, QSizePolicy::Fixed);
        sizePolicy2.setHorizontalStretch(0);
        sizePolicy2.setVerticalStretch(0);
        sizePolicy2.setHeightForWidth(mProveSequentButton->sizePolicy().hasHeightForWidth());
        mProveSequentButton->setSizePolicy(sizePolicy2);
        QFont font;
        font.setPointSize(10);
        mProveSequentButton->setFont(font);
        mProveSequentButton->setLayoutDirection(Qt::RightToLeft);

        gridLayout->addWidget(mProveSequentButton, 0, 2, 1, 1);


        gridLayout_5->addWidget(widgetTop, 0, 0, 1, 2);

        widget = new QWidget(centralWidget);
        widget->setObjectName(QString::fromUtf8("widget"));
        gridLayout_3 = new QGridLayout(widget);
        gridLayout_3->setSpacing(6);
        gridLayout_3->setContentsMargins(11, 11, 11, 11);
        gridLayout_3->setObjectName(QString::fromUtf8("gridLayout_3"));
        mOutputTextEdit = new QPlainTextEdit(widget);
        mOutputTextEdit->setObjectName(QString::fromUtf8("mOutputTextEdit"));
        QSizePolicy sizePolicy3(QSizePolicy::Expanding, QSizePolicy::Expanding);
        sizePolicy3.setHorizontalStretch(0);
        sizePolicy3.setVerticalStretch(0);
        sizePolicy3.setHeightForWidth(mOutputTextEdit->sizePolicy().hasHeightForWidth());
        mOutputTextEdit->setSizePolicy(sizePolicy3);
        mOutputTextEdit->setMaximumSize(QSize(411, 16777215));
        mOutputTextEdit->setAutoFillBackground(false);

        gridLayout_3->addWidget(mOutputTextEdit, 0, 0, 1, 2);

        mClearOutputButton = new QCommandLinkButton(widget);
        mClearOutputButton->setObjectName(QString::fromUtf8("mClearOutputButton"));

        gridLayout_3->addWidget(mClearOutputButton, 1, 0, 1, 1);

        mShowPDFButton = new QCommandLinkButton(widget);
        mShowPDFButton->setObjectName(QString::fromUtf8("mShowPDFButton"));

        gridLayout_3->addWidget(mShowPDFButton, 1, 1, 1, 1);


        gridLayout_5->addWidget(widget, 1, 1, 1, 1);

        mStackedLeftWidget = new QStackedWidget(centralWidget);
        mStackedLeftWidget->setObjectName(QString::fromUtf8("mStackedLeftWidget"));
        mLeftPage1 = new QWidget();
        mLeftPage1->setObjectName(QString::fromUtf8("mLeftPage1"));
        gridLayout_2 = new QGridLayout(mLeftPage1);
        gridLayout_2->setSpacing(6);
        gridLayout_2->setContentsMargins(11, 11, 11, 11);
        gridLayout_2->setObjectName(QString::fromUtf8("gridLayout_2"));
        label_3 = new QLabel(mLeftPage1);
        label_3->setObjectName(QString::fromUtf8("label_3"));
        QSizePolicy sizePolicy4(QSizePolicy::Fixed, QSizePolicy::Preferred);
        sizePolicy4.setHorizontalStretch(0);
        sizePolicy4.setVerticalStretch(0);
        sizePolicy4.setHeightForWidth(label_3->sizePolicy().hasHeightForWidth());
        label_3->setSizePolicy(sizePolicy4);

        gridLayout_2->addWidget(label_3, 0, 0, 1, 1);

        tabWidget = new QTabWidget(mLeftPage1);
        tabWidget->setObjectName(QString::fromUtf8("tabWidget"));
        QSizePolicy sizePolicy5(QSizePolicy::Expanding, QSizePolicy::Expanding);
        sizePolicy5.setHorizontalStretch(5);
        sizePolicy5.setVerticalStretch(0);
        sizePolicy5.setHeightForWidth(tabWidget->sizePolicy().hasHeightForWidth());
        tabWidget->setSizePolicy(sizePolicy5);
        tab = new QWidget();
        tab->setObjectName(QString::fromUtf8("tab"));
        horizontalLayout = new QHBoxLayout(tab);
        horizontalLayout->setSpacing(6);
        horizontalLayout->setContentsMargins(11, 11, 11, 11);
        horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
        mVariableTableWidget = new QTableWidget(tab);
        mVariableTableWidget->setObjectName(QString::fromUtf8("mVariableTableWidget"));

        horizontalLayout->addWidget(mVariableTableWidget);

        tabWidget->addTab(tab, QString());
        tab_2 = new QWidget();
        tab_2->setObjectName(QString::fromUtf8("tab_2"));
        gridLayout_4 = new QGridLayout(tab_2);
        gridLayout_4->setSpacing(6);
        gridLayout_4->setContentsMargins(11, 11, 11, 11);
        gridLayout_4->setObjectName(QString::fromUtf8("gridLayout_4"));
        mPathTableWidget = new QTableWidget(tab_2);
        mPathTableWidget->setObjectName(QString::fromUtf8("mPathTableWidget"));

        gridLayout_4->addWidget(mPathTableWidget, 0, 0, 1, 1);

        tabWidget->addTab(tab_2, QString());

        gridLayout_2->addWidget(tabWidget, 2, 0, 1, 3);

        mNumVariableSpin = new QSpinBox(mLeftPage1);
        mNumVariableSpin->setObjectName(QString::fromUtf8("mNumVariableSpin"));
        sizePolicy2.setHeightForWidth(mNumVariableSpin->sizePolicy().hasHeightForWidth());
        mNumVariableSpin->setSizePolicy(sizePolicy2);

        gridLayout_2->addWidget(mNumVariableSpin, 0, 1, 1, 1);

        mStackedLeftWidget->addWidget(mLeftPage1);
        mLeftPage2 = new QWidget();
        mLeftPage2->setObjectName(QString::fromUtf8("mLeftPage2"));
        gridLayout_6 = new QGridLayout(mLeftPage2);
        gridLayout_6->setSpacing(6);
        gridLayout_6->setContentsMargins(11, 11, 11, 11);
        gridLayout_6->setObjectName(QString::fromUtf8("gridLayout_6"));
        widget_2 = new QWidget(mLeftPage2);
        widget_2->setObjectName(QString::fromUtf8("widget_2"));
        horizontalLayout_2 = new QHBoxLayout(widget_2);
        horizontalLayout_2->setSpacing(6);
        horizontalLayout_2->setContentsMargins(11, 11, 11, 11);
        horizontalLayout_2->setObjectName(QString::fromUtf8("horizontalLayout_2"));
        mAddRuleButton = new QPushButton(widget_2);
        mAddRuleButton->setObjectName(QString::fromUtf8("mAddRuleButton"));

        horizontalLayout_2->addWidget(mAddRuleButton);

        mEditRuleButton = new QPushButton(widget_2);
        mEditRuleButton->setObjectName(QString::fromUtf8("mEditRuleButton"));

        horizontalLayout_2->addWidget(mEditRuleButton);

        mDeleteRuleButton = new QPushButton(widget_2);
        mDeleteRuleButton->setObjectName(QString::fromUtf8("mDeleteRuleButton"));

        horizontalLayout_2->addWidget(mDeleteRuleButton);


        gridLayout_6->addWidget(widget_2, 2, 0, 1, 1);

        label_2 = new QLabel(mLeftPage2);
        label_2->setObjectName(QString::fromUtf8("label_2"));

        gridLayout_6->addWidget(label_2, 0, 0, 1, 1);

        mRuleListWidget = new QListWidget(mLeftPage2);
        mRuleListWidget->setObjectName(QString::fromUtf8("mRuleListWidget"));

        gridLayout_6->addWidget(mRuleListWidget, 1, 0, 1, 1);

        mStackedLeftWidget->addWidget(mLeftPage2);

        gridLayout_5->addWidget(mStackedLeftWidget, 1, 0, 1, 1);

        MainWindow->setCentralWidget(centralWidget);
        statusBar = new QStatusBar(MainWindow);
        statusBar->setObjectName(QString::fromUtf8("statusBar"));
        MainWindow->setStatusBar(statusBar);
        menuBar = new QMenuBar(MainWindow);
        menuBar->setObjectName(QString::fromUtf8("menuBar"));
        menuBar->setGeometry(QRect(0, 0, 697, 25));
        menuPreload_Map = new QMenu(menuBar);
        menuPreload_Map->setObjectName(QString::fromUtf8("menuPreload_Map"));
        menuRule_Input_Mode = new QMenu(menuBar);
        menuRule_Input_Mode->setObjectName(QString::fromUtf8("menuRule_Input_Mode"));
        MainWindow->setMenuBar(menuBar);

        menuBar->addAction(menuPreload_Map->menuAction());
        menuBar->addAction(menuRule_Input_Mode->menuAction());
        menuPreload_Map->addAction(actionOxford_Map);
        menuPreload_Map->addAction(actionCoin_Toss);
        menuPreload_Map->addAction(actionMuddyChildren);
        menuPreload_Map->addAction(actionClassic_Map_2);
        menuPreload_Map->addAction(actionBK_s_Map_2);
        menuPreload_Map->addAction(actionStaircase);
        menuRule_Input_Mode->addAction(actionMatrix);
        menuRule_Input_Mode->addAction(actionMannual);

        retranslateUi(MainWindow);

        mStackedLeftWidget->setCurrentIndex(1);
        tabWidget->setCurrentIndex(1);


        QMetaObject::connectSlotsByName(MainWindow);
    } // setupUi

    void retranslateUi(QMainWindow *MainWindow)
    {
        MainWindow->setWindowTitle(QApplication::translate("MainWindow", "PAMLoPA", 0, QApplication::UnicodeUTF8));
        actionOxford_Map->setText(QApplication::translate("MainWindow", "Oxford Map", 0, QApplication::UnicodeUTF8));
        actionMatrix->setText(QApplication::translate("MainWindow", "Matrix", 0, QApplication::UnicodeUTF8));
        actionMannual->setText(QApplication::translate("MainWindow", "Mannual", 0, QApplication::UnicodeUTF8));
        actionCoin_Toss->setText(QApplication::translate("MainWindow", "Coin Toss", 0, QApplication::UnicodeUTF8));
        actionMuddyChildren->setText(QApplication::translate("MainWindow", "Muddy Children", 0, QApplication::UnicodeUTF8));
        actionClassic_Map_2->setText(QApplication::translate("MainWindow", "Classic Map", 0, QApplication::UnicodeUTF8));
        actionBK_s_Map_2->setText(QApplication::translate("MainWindow", "BK's Map", 0, QApplication::UnicodeUTF8));
        actionStaircase->setText(QApplication::translate("MainWindow", "Staircase", 0, QApplication::UnicodeUTF8));
        label->setText(QApplication::translate("MainWindow", "Input Sequent :", 0, QApplication::UnicodeUTF8));
        mProveSequentButton->setText(QApplication::translate("MainWindow", "Prove", 0, QApplication::UnicodeUTF8));
        mClearOutputButton->setText(QApplication::translate("MainWindow", "Clear", 0, QApplication::UnicodeUTF8));
        mShowPDFButton->setText(QApplication::translate("MainWindow", "Show PDF", 0, QApplication::UnicodeUTF8));
        label_3->setText(QApplication::translate("MainWindow", "No. variables :", 0, QApplication::UnicodeUTF8));
        tabWidget->setTabText(tabWidget->indexOf(tab), QApplication::translate("MainWindow", "Map Matrix", 0, QApplication::UnicodeUTF8));
        tabWidget->setTabText(tabWidget->indexOf(tab_2), QApplication::translate("MainWindow", "Actual Path", 0, QApplication::UnicodeUTF8));
        mAddRuleButton->setText(QApplication::translate("MainWindow", "Add", 0, QApplication::UnicodeUTF8));
        mEditRuleButton->setText(QApplication::translate("MainWindow", "Edit", 0, QApplication::UnicodeUTF8));
        mDeleteRuleButton->setText(QApplication::translate("MainWindow", "Delete", 0, QApplication::UnicodeUTF8));
        label_2->setText(QApplication::translate("MainWindow", "Assumption Rules:", 0, QApplication::UnicodeUTF8));
        menuPreload_Map->setTitle(QApplication::translate("MainWindow", "Preload Map", 0, QApplication::UnicodeUTF8));
        menuRule_Input_Mode->setTitle(QApplication::translate("MainWindow", "Rule Input Mode", 0, QApplication::UnicodeUTF8));
    } // retranslateUi

};

namespace Ui {
    class MainWindow: public Ui_MainWindow {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_MAINWINDOW_H
